منابع مشابه
The Geometry of Logical Opposition
Accepted on proposition of the following jury: Jean-Yves Béziau, co-supervisor Invited Professor, Department of Logic at the Federal University of Ceara, Fortaleza, Brazil Daniel Schulthess, co-supervisor Professor, Department of Philosophy at the University of Neuchâtel, Switzerland Dominique Luzeaux, examinator Joint Director of UMESIO (Unité de Management espace et systèmes d’information opé...
متن کاملLogical and historical remarks on Saccheri's geometry
El autor se ocupa de la geometrfa contenida en el libro Euclides ab omni naevo vindicatus, 1733, de Girolamo Saccheri. Despuόs de plantear el problema en §1, el autor analiza en §2 los paralogismos cometidos por Saccheri, cuando este rechaza las geometrίas del £ngulo obtuso (eliptica) y del angulo agudo (hiperbόlica). En §3 expone el me*todo de Saccheri, basado principalmente en la ley de Clavi...
متن کاملTowards a \geometry" for Logical Programming
1. Extended Abstract This talk will describe a general framework which has been established after several years of work within which it is possible to show that the solution of a general uniication problem may be viewed as that of calculating the intersection of a certain family of aane varieties ((6]). In this way, the usual realm, in which the problem of symbolic expression uniication is form...
متن کاملMulti-sorted logic, models and logical geometry
Let Θ be a variety of algebras, (H, Ψ, f) be a model, where H is an algebra from Θ, Ψ is a set of relation symbols ϕ, f is an interpretation of all ϕ in H. Let X 0 be an infinite set of variables, Γ be a collection of all finite subsets in X 0 (collection of sorts), Φ be the multi-sorted algebra of formulas. These data define a knowledge base KB(H, Ψ, f). In the paper the notion of isomorphism ...
متن کاملLogical Theories for Fragments of Elementary Geometry
We survey models and theories of geometric structures of parallelism, orthogonality, incidence, betweenness and order, thus gradually building towards full elementary geometry of Euclidean spaces, in Tarski’s sense. Besides the geometric aspects of such structures we look at their logical (first-order and modal) theories and discuss logical issues such as: expressiveness and definability, axiom...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: School Science and Mathematics
سال: 1906
ISSN: 0036-6803
DOI: 10.1111/j.1949-8594.1906.tb00919.x